Nonmonotonic inconsistency

Strong Inconsistency in Nonmonotonic Reasoning

Minimal inconsistent subsets of knowledge bases play an important role in classical logics, most notably for repair and inconsistency measurement. It turns out that for nonmonotonic reasoning a stronger notion is needed. In this paper we develop such a notion, called strong inconsistency. We show that—in an arbitrary logic, monotonic or not—minimal strongly inconsistent subsets play the same ro...

Nonmonotonic Reasoning

In this talk I will give an overview of nonmonotonic reasoning as background, and then address the question of its relevance and importance for theoretical issues in reasoning about knowledge and belief. In the past few years the area. of nonmonotonic reasoning has grown tremendously, as witnessed by the increase in submitted and accepted papers to conferences such as this one. It would be impo...

Nonmonotonic Logic

Nonmonotonic Reasoning

The purpose of this paper is to expand the syntax and semantics of logic programs and deductive databases to allow for the correct representation of incomplete information in the presence of multiple extensions. The language of logic programs with classical negation, epistemic disjunction, and negation by failure is further expanded by a new modal operator K (where for the set of rules T and fo...

Nonmonotonic Reasoning

Commonsense reasoning is different. We often draw plausible conclusions based on the assumption that the world in which we function and about which we reason is normal and as expected. This is far from being irrational. To the contrary, it is the best we can do in situations in which we have only incomplete information. However, as unexpected as it may be, it can happen that our normality assum...